We need to add System F as a workload, and `proptest` and `bolero` as libraries. Perhaps start adding `libfuzzer` as we incorporate fuzzers. - [ ] System F - [ ] proptest - [ ] bolero - [ ] libfuzzer