Replace Triq with PropEr

It was already used in the IOQ2 work so all the plumbing to pull it in during
dev testing was there and it seems awkward to have two different property
testing framework for just a few tests.

It is still an optional component and is not included in the release.
7 files changed