[GHC] #12870: Allow completely disabling +RTS options parsing