new test directly compares proof output