print timing details (-d) in -q mode
typo fix for "opt -fast"
improved -v option
using pool<> in bitpattern.h