Use -fno-full-laziness as noted to patch over issue #1.

We should look at breaking this up into more modules to get slightly better inliner behavior, but this will at least fix the correctness issue.