Assertions incorporated

Test / ensure basic, crucial invariants