Make diagnostics=true default for @vtjnash