Reduce the size of check-ce oracles
The oracles for check-ce should only contain the verdicts for classification.
Also, rename the option --verbosity
into --ce-log-verbosity
and document it.
(** verbosity level:
1 : just imported values
2 : + execution of function calls
3 : + execution of loops
4 : + termination of execution
5 : + log information about initialization of global vars
*)