This helps diagnosing #96. * src/bin/ltlcross.cc (process_formula): Print product sizes if --verbose.