configure: Add no-op for "disable-option-checking" option.