Efficiently Analyzing Unreachable Properties in Configuration-Based Designs with Automated Mode-Aware Coverage Analysis