Change styles

Initial style pass. Getting some amsthm compilation errors. Not sure
what that's about.
Adding greedy algobox
Style tweaks

Porting figures to the new style. They weren't appearing in-place
before.
Porting the correct proof of Theorem 6