add a description of the bugs in the benchmark to the documentation

please include in the release
fix check-satisfied to properly deal with errors in predicate check
ffi/unsafe: fix `make-sized-byte-string` on a #f argument

In particular, a #f argument can make sense if the length is 0.
Technically, a byte string's byte array is supposed to be nul-terminated,
but many uses of byte strings get away without that terminator. I've
adjust the documentation to note that `bytes-copy` will work with a
non-terminated byte string.

Merge to v6.1.1
reorganize `pkg/lib` implementation

Split the module into several (smaller) modules.
fix "redex-doc" dependencies
fix "redex-doc" dependencies
list/e splits arg list using prime factorization of length

Possible performance benefits
use available library function

Missed this earlier
Fix prime-splitting list/e bug
list/e performance tweak
refactor graph-data to make it easier to use externally
unbreak redex pdf docs build

please include in the release
extraneous "false"