Replace --disallow-any flags with separate boolean flags. #4089
Description
The --disallow-any flags interact in unexpected ways with other flags and they make configuration more complicated. We should replace them with a set of simple boolean flags. See discussion in #4076.