format and fix tests in vast2html