Remove bad-footprint.scala

This is another case which used to result in an unreported `ErrorType`
It is now detected only when enabling `-Yforce-sbt-phases -Xverify-signatures -Ycheck:all`

The error comes from:
```scala
type Names[X <: AnyNamedTuple] <: Tuple = X match
  case NamedTuple[n, _] => n
```
The `NamedTuple` pattern is legal as long as the type alias is opaque.
Following elimOpaque however, it is beta-reduced (as normal applied type aliases in match type patterns)
to a pattern which no longer contains an instance of the type capture `n`, making it an illegal pattern.
This used to return an `ErrorType`, which happened not be reported as in the other cases.

Also note this error could also be missed without the New footprint calculation scheme (#19639)

Given the changes to the footprint calculation and failed reduction reporting,
this is now the same issue as #19434.

Author: EugeneFlesselle