[ ] Add support for automatically validating all properties of the specification (currently only the Fault-tolerant and Ordered properties are verified) [ ] Shouldn't Property 4 be simpler if lender.source closes after lender.sink has received an abort and all values read before the abort have been sourced?