Wrap core of SHA in a function call

[0xabu]

This would substantially reduce the code size of the monitor. Since vale doesn't support calls, we'd need to specify/verify a function call/return sequence, and manually print the code for it.