Progress in simulation semantics report, changed [h] to [ht]
All listings and figures using centering. Small listings with center env
Reverted to using [h] on figures and listings
Corrected usage of listing citation without naming