Support tagging TacticFailure with an optional range

[nikswamy]

For better error reporting, especially as used in Pulse

[mtzguido]

Hi Nik, except for that one comment looks good to me! Let me see if I can fix the build and use the existing embeddings, I'll push here.