Is there any software that actually interprets a junction=yes node as a cue to issue a continue or fork instruction? It would be somewhat problematic on an intersection node, since the cross street may not need an instruction at the same point.

A relation would address this issue by clarifying the direction in which it applies. OSRM recognizes a manoeuvre relation type as a last resort for situations that don’t have another better-established alternative. And specifying turn lanes is more robust for more routing engines anyhow.