[Dijkstra] Check that `requiredTopLevelGuards` are well-formed

[carlostome]

• For KeyHash/phase-1 scripts, there should be no datum
• For phase-2 scripts there should be a datum