Remove the possibility to enable the memory-safety checks
of the predicate analysis via configuration options.
These checks were too expensive and never used anyway.
If one wants to use these checks again,
they should be enabled via the automata specifications
and not via configuration options.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13110 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c