Better moveLoops and better dependence edges. Added forgotten Main.hs
Scalar lifting. Disabled buggy sameBits test
Fixed bitTets sameCheck bug