diagnostics (oracle safety checks) should be part of lib, not examples

[martinjaggi]

and should be easier to call.
one idea: maybe just a solver flag, which will run the check before starting the actual solver?