Test asserted invariants

[Piturnah]

We should be testing all or as many asserts made as possible under normal and boundary conditions, to help ensure that invariants aren't being violated.

Asserts here is anywhere that panics (inc. .expect())