TODO.
Enable GHC HEAD builds on Travis CI.
Allow 'PROG-options' in cabal.config.
Turn on '-fno-ignore-asserts' in 'cabal.config'.

Developers should use builds with assertions enabled. See #1619.