Speed up OT by using a faster sha3 implementation
Move load-store elimination before branch elimination

This means that load-store elimination becomes independent of branch
elimination, so we can change branch elimination more easily.