Clean up asserts

[denniskb]

Create separate assert macros for preconditions and invariants. The preconditions should remain in the release build, the invariants not.