Support SHA instructions in SHA-256 proof. #32
Description
The SHA-256 proof should be modified so that it also works when SHA instructions are used. Because these instructions are not widely deployed, the proof should still work when they are not present.