Revert "Merge pull request #570 from cgay/compiler-verbose-flag"

This reverts commit f66ca483bdea653fb8d8dd3ddcd29cd237e05644, reversing
changes made to 514ef125cb0b39efffcb2923f15e7ecf884d9066.