(core) ActorInterpeter "checkPrecision" parameter renamed to "debugMode"