Add some property-based tests

[avibryant]

Most of the interfaces brushfire exposes have "laws" associated with them which we could write tests for, such that any new implementation would have to conform to them. This would make it much easier to extend brushfire with confidence.

[tixxit]

We do have some property based tests now! But not enough that I'd really consider this issue done yet.