Added support for Duality. Restructured regression scripts so that all verifiers are now being invoked from the same script and selected through command line.