ASSERTs should be heavy or there should be HEAVY_ASSERTs

[codygunton]

Most of our asserts are very small, and it would be nice if they could just be in place in release mode. If it's not possible to accomplish this, then perhaps we should two ASSERT builds, where most of the current ASSERTs go into one of them and that build becomes our standard development build. @ludamad suggested this or something similar in the past

[ludamad]

Noir has released with asserts for a long time and recently out ci moved to use assert build throughout

[ludamad]

Now the concern is more that we should be clear we are comfortable with all asserts in prod