Long instructions in verifier

Implement `long` instructions on the verifier side as well.