* seed random on policy init to make results deterministic * document new random behavior
Manticore.locked_context