We have a property-based test suite for decoders but #29 still happened. We should strengthen the conditions on some of these tests and maybe add new ones.
qfpl
