Added proof status propagation. Added playout move order shuffling.