Feature Request: Add Configuration Flag to Lower Verify Errors to Warnings

[seanrion]

I would like to request a new feature for Prusti: a configuration flag named verify_errors_as_warnings that allows users to lower the severity of verification errors from errors to warnings like internal_errors_as_warnings

[seanrion]

In certain development scenarios, it is beneficial to treat verification errors as warnings. This flexibility can help in iterative development and testing phases where strict enforcement of verification errors may not be practical.