If you want HDMI switching, currently the pickings are quite slim whether you are talking receivers OR surround processors. At this time, I believe only the Denon 5805 has HDMI switching and that is out of your price range.
If you can forgo inboard HDMI switching, I would recommend something like a used Anthem AVM20.
If you can forgo inboard HDMI switching, I would recommend something like a used Anthem AVM20.