Assertion is a library for low-level validation, allows to verify invariants and pre/post conditions.