Add -experimental-lazy-typecheck option

The `-experimental-lazy-typecheck` mode in the frontend is intended to improve
performance when emitting `.swiftinterface` and `.tbd` files.

Author: tshortli