Touching base on your OP, I think most people's opinion are AT933 series (aka CMC8) mics offer no improvement over the AT853 mics, and many people prefer the sound of 853's over 933's. I just wanted to point that out. Original AT853's with phantom adapters and 25' cables actually sound great, and they are cheap.... I've bought them on ebay for as little as $50 each, and I still run them some times. If you run them into the 1/8" jack you'll probably want the 4.7k mod which has been explained many times on this board. If you run them by phantom adapters you don't need that. you could make them "convertible", running with phantom adapters, or with a 4.7K Y-cable.
Someone asked "why not use mics on the XLR's and feed the board via 1/8?" We have a local taper who also runs FOH (Davis) and he does that with his H4n. The 1/8" input won't take a hot signal, he tells me he has to back his feed off by about 50db compared to what he would normally give the rest of us for a feed. Since he is running the board, he adjusts the feed accordingly and runs mics on his XLR's. Without that control, you'll want heavy attenuation.
Just my 2 cents worth. And another vote for the AKG 391's.