thetahealth / mirobody-env HAEnv — synthetic longitudinal patients with code-derived gold, for evaluating health agents over time