Explicit examples support

[flyingmutant]

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.