Assertion refactoring to globals - adding production flag in sim.html