SynFlowNet: Towards Molecule Design with Guaranteed Synthesis Pathways