Uses the latest output if there isn't an output after the current finalized block and checks it's at or before the finalized block.