("beneration" == "manually write out the code generation target code")

See attached issues for all test models that are in scope. Models we can explicitly skip:

• AggregateReferences - only tests Dafny code generation, not intended for runtime testing.
• CodegenPatches - only tests the patching functionality, which we're already heavily using for Rust. :)
• Dependencies - creating and using DependenciesLite instead
• Under SimpleTypes: BigDecimal/BigInteger/SimpleByte/SimpleFloat/SimpleShort - not yet used in downstream projects, no runtime testing for existing languages either.
• aws-sdks - Not worth the effort of beneration, but this is assuming we add SDKLite and benerate that first.