Updated example to use the new static dispatch rewriter.
WYRL: lots of fixes to benchmarks to provide option to try different rewriters.
WYCS: updated verification check to support different rewriters.