Kyle - years ago when I researched Instant Ocean, it was described as having buffering agents as well. Supposedly some of them dissolve immediately (as expected) and some took longer to dissolve, helping to maintain an 8.2 pH - which is the ideal for a Saltwater tank. Of course the Rift Lake Cichlids do fine at this pH level too.
But by using Instant Ocean (or similar) and your crushed coral, I can forsee no problems with your water chemistry.
Another word about the rock dwellers - they're extremely shy. Many keepers use dither fish to help the cichlids overcome their shyness. They never get over it completely, but it does help. Several community fish such as Guppies and Mollies inhabit fresh, brackish, and saltwater all three in nature - and these usually stay near the top anyway. Zebra Danios are very hearty and very fast swimmers, and also make great dither fish for smaller Africans. The high pH and salt content doesn't seem to bother them either. This trick works very well for the Julidochromis family, since they stay near the bottom and around the rocks/caves anyway. This isn't to say that you won't loose any of the Guppies, Mollies or Danios, but they're usually ignored for the most part.