Turn on the InferConsts pass by default

This is going to make both type-checking and inlining a lot better. But it will probably be hard to land. If it's too hard to land, it might make sense to separate out InferConsts used in type-checking so that we can turn it on separately.