*opts.tests: make sure we use --no-highlight
sync make-chekc-filter.rb with that used in bashdb
Bump version to dev.