WYIL: ok it verified a very simple program using the new verifier.  Lots of things to work out yet though.