May I ask why not just adding a maxPlasmaBlockHeight field in every tx to avoid this limbo exit? As suggested here.
maxPlasmaBlockHeight