Add some more missing cases to the constant folder.
Update static aliasing calculation now that Mul64 is associative
rather than using a series of binops.
Static aliasing analysis doesn't noticeably improve performance, but
it does improve the accuracy of results.  That suggests that it should
be on by default.
Merge github.com:sos22/SLI