I currently have 3 platies, 1 guppy, 1 betta, 6 glowlight tetras, 3 panda corydoras, and 2 mystery snails. I plan on adding 10 cherry shrimp, 2 ottos, a bamboo shrimp or thai micro crab, and 3 African Dwarf Frogs. How well do you think these will all get along and would this overstock the tank?