Restore execution of bench on valid/invalid goals

Since the option list-provers does not exist for why3 prove, and the script was not robust (|| return 0 is wicked) then bench was simply and silently disabled