Many updates to RealEngines in KW, AIES, and NP