Library: Property Based Testing

[alcides]

We need a property-based testing library to test our aeon library. Additionally, this library can be used to write specifications for synthesis.

• [ ] Consider whether we want decorators for property based testing.
• [ ] Create Generators for the most common types.
• [ ] Write tests for our standard library (examples: https://github.com/cabrero/pypbt/blob/main/examples/simple_props.py)