Fix spelling and add comments
Limited constant propagation for shifts
Fix bug in verifier
Allow conditional initialization of objects