[Eva] Prints less messages unless -eva-show-progress is set.

By default:
- removes final message "Done for function main".
- removes messages about the initial state computation.