nx_superopt_strength_test.nx

nx_superopt_strength_test.nx -- watch the GENERATOR author optimizations itself. For a set of constants it has NEVER been told how to lower, the search discovers the cheapest verified `x*C` rewrite, prints it, and proves it 1:1. I did not write any of these lowerings -- the search did. Known answer: every authored plan is verified == x*C, and every reducible constant beats the multiply. exit 0.