Make sure no proof throws exceptions

[Baptouuuu]

The initial philosophy was to allow to stop the script when a exception is thrown and let users add the appropriate assertion. But it brings a lack of behaviour consistency. Also it prevents seeing all exceptions in a single run.