cfgeq-0.1.0.0: Unsound checker for CFG equality

Unsound checker for checking CFG equality on strings generated up to a specified length. Inefficient and unsound as it can only find counterexamples and not prove the lack of a longer counterexample.