Support for Advanced Mathematical Invariance

[3rdit]

It's necessary to add detections and patching support for mathematical invariant opaque predicates in this plugin. These are math problems that are always true or always false, which should skip past the current logic we have as of writing. For example, (7n + 1)² == 49n² + 14n + 1 will always be true.