Re-enable proof warnings

[treiher]

After the refactoring in #659 several unreachable branches are detected by GNATprove, which were not found before. All affected branches should be replaced by raise Program_Error to suppress the warnings.

Since 20220812 the timeout used for dead code detection can be configured using --proof-warnings-timeout.