SET-LD-SKIP-PROOFSP

See ld-skip-proofsp.
Major Section:  SWITCHES-PARAMETERS-AND-MODES