Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems