Turn Pattern into #Bottom if any constraint is literal false

[geo2a]

• before returning a "simplify" response, check if any constrains are false and return #Bottom in that case
• when simplifying rewriting results, prune branches if there's a literal false
  • this triggers the change in the test-vacuous integration test, where the original state is now returned. simplifyP now returns Nothing for the result and thus we get to return RewriteTrivial from performRewrite
  • note that the outdated responses for this integration tests actually had a literal false as one of the constraints.

[geo2a]

No difference in KEVM performance (empty table).

[jberthold]

👍