Assert that stack is unchanged in Simulator::call().