Switch FIX_613_DIRAC_NULL_PTR_USAN missing from options.h

The switch FIX_613_DIRAC_NULL_PTR_USAN is missing from options.h even though the switch is present in the code. The switch is needed in the code to solve the USAN issues for which is was originally introduced.