Be smarter about fix sizing of * expression.

Improves performance by 2x on testPaperExample.
Be smarter for concat.

Improves testPaperExample by another 50%.
Add another static phase to shampi.

The code compiles, but there's a bug in the algorithm.
Fixed a couple bugs in scfg approach.

Now it works well except on the WSU test cases.
Fixed a couple more bugs.

Now all the tests do well.
Minor code cleanup.