0. Getting the elements fuzzer to work (need old boost; need nix; lcov weirdness; need russell's help)
1. Initial Byron test case: no tx environment
2. Then: CMR check in execSimplicity (disabled), AMR check (not done)
3. Then: stuck at 30%
4. Idea: generate valid txes and programs programmatically
4a. Digression: rangeproof parameters
4b. Digression: weird Elements consensus rules (coinbases cannot be pegins)
4c. Digression: weird Elements consensus rules (pegin witnesses)
5. Rust, C++ and C glue: fighting pointers
6. Rust, C++ and C glue: symbol collision
7. Generating Simplicity programs: big types lead to very slow fuzzing; should rewrite generator to avoid big types by using comp and glue-code
8. Speed up/clean up generator (not using glue code yet) .. now i can produce BIG exponential types and it kills rust-simplicity

9. now honggfuzz is claiming mysterious non-reproduceible errors