A Bounded-Optimistic, Parallel Beta-Binders Simulator