Explicit examples support #37
Description
May be a bit related to #36 (if we want to allow specifying the bitstream directly).
Main use case is making sure important corner cases are covered without duplicating the property-based test code.
{{ message }}