Make assume/guarantee interface the standard way to construct test benches

[leonardt]

This means users can leverage both constrained random and CoSA to do tests.

• [ ] Refactor lassen tests to use assume/guarantee for parametrized tests (should integrate https://github.com/leonardt/fault/tree/lassen-formal branch )
• [ ] Add documentation/tutorial that is based around this interface

Support standard LTL/SVA operators:

• [ ] logical (including implications)
• [ ] arithmetic
• [ ] comparison
• [ ] temporal
• [ ] clock edge specifier
• [ ] concatenation

Support function-style decomposition of properties e.g. onehot(<signal>)