More correct valid signal on encoder.
Made example 6 work again. The old one was bitrotten to the extreme.
Fix #5. Now you can include cassert. You'd better have a damned good reason.