parallelize the contract tests

(unfortunately, the speedup is not that great)
fix spacing in contract error message