Decide normality and produce a witness of failure via conductor/test-ideal

Original label: Decide normality and produce a witness of failure via conductor/test-ideal