> Every option doubles the amount of testing required to exhaustively test the program.

True, but pairwise-independent combinatorial testing provides almost-exhaustive coverage with non-exponential growth in test cases: https://github.com/microsoft/pict