Flexible Checker: A one-stop shop for all your checkers and a methodology for elastic scoreboarding