ArithmeticOp#findOp: auto-populate the parameters of the Op

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Add the Javassist-based Optimizer

This is the reborn OpMatcher we removed a couple of commits ago.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Verify that the Javassist-based optimizer actually runs

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>