New Release with the following changes: rename package "VerifierCloud" to "BenchCloud" and improve error messages
