With this change, the SILVerifier should now catch and reject the appearance of a hop_to_executor between the get_continuation and await_continuation instructions.