add allTests pseudo-project for BC verification of Scala