That's not a Badis badis, that's a Dario dario. I have a very similar combo in my tank; darios, gold tylos, red cherry shrimp. I approve of your tastes!
oh i goggled pictures of darios and badis and both came out the same fish. anyway, they are so useful in keep the worm infestation population in check and most importantly, they dont disturb the snails.
and how big is your adult golden snails? i got mine quite small, and they dont seemed to grow much