Text this: Conformance Relations and Hyperproperties for Doping Detection in Time and Space