[ubsan] Convert tests to check 'target=...'

Part of the project to eliminate special handling for triples in lit
expressions.