BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker