On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification