Inline pow2, remove a few proof asserts

Improved proof assertions (now depends less on things like reg54)

Remove or contract a few assertions, fixes slow xor assert verifications