Progression and Verification of Situation Calculus Agents with Bounded Beliefs