roconnor-blockstream

It is a pointer in order to simulate an option type, since the null annex is different from the empty annex. We could make it inline and add a `bool`...

> 1. Enforce `0x00` bytes in the annex > > 2. Enforce exactly one annex length per cost in milliWU > > 1. Enforce a lower bound using `minCost` >...

One thing we should verify is that the `PRODUCTION` flag is not enable during fuzzing to ensure all assertions are being run: https://github.com/BlockstreamResearch/simplicity/blob/master/C/simplicity_assert.h#L12 If there is some sort of `FUZZ`...

@delta1 I don't know why, but running the command $ PRINT_ALL_FUZZ_TARGETS_AND_ABORT= src/test/fuzz/fuzz doesn't list "simplicity" for some reason.

Oops I was building #1326 instead of this PR. My bad.

Please rebase this PR. Thanks.

> > the 2 is subtracted in the line above > > 😬 `GetSerializeSize` returns a `size_t`. I see now that you're implicitly casting it to a `in64_t`, which I...

I have nothing to add.