Since Grift supports so many configuration flags, the user might want to specify all configurations in a configuration file and pass it to the compiler. It could be a good idea to make the configuration file exhaustive so that we do not rely on remembering defaults.