Add a --pretty-thunks flag