Builds and persists the optimised Robot struct at compile-time.

This transformer runs after the TopologyTransformer and UniquenessTransformer to ensure the DSL is fully validated, then builds the optimised BB.Robot struct and injects an accessor function into the robot module.