OSTs are an excellent value, but in my opinion it's worth spending a little more on the Røde Lavalier for its modular design. A bad cable or an incompatible plug will never cause you to throw away another perfectly good lav mic. If you're already using an NTG-3, the Røde Lavalier should be your obvious choice. Just be aware that it can sound a little more muffled than other mics if you're hiding it under clothing.
For a wireless system, the Sennheiser G2 and G3 are a good option on the budget end. Don't go any cheaper than that though. You may find good deals on used kits and be able to save that way, but avoid the cheaper units from companies like Azden. If you're buying used, also be careful not to buy units in banned frequency blocks, or you may run into trouble with the FCC. Lectrosonics are definitely a step up from Sennheiser, but only really in their 400 series, and those run in the thousands of dollars. The 100s / 190s are certainly more rugged than Sennheiser G2 / G3, but inferior audio quality.
Lastly, the Tascam DR-70D is an excellent option for mixing and recording up to 4 channels. You may get higher quality by combining a Sound Devices MixPre with a PCM recorder, but for a compact all-in-one unit at an unbeatable price, look no further than Tascam.
How does this compare to the Allsteady 5Pro? For $100 more, you can get a similar looking 3-axis gimbal made in Southern California... presumably with better support if anything goes wrong. I've heard some bad stories about CAME's customer support.
I'd definitely go with the Rokinon 10mm T3.1 Cine lens, and mount it to your Speedbooster. That'll give the equivalent of a 7.2mm f/2, which really can't be beat. It's sharp enough wide open to make it a good lens for low-light shooting, and cleans up nicely around the corners as you stop it down past F/4. Plus you get the added benefit of geared focus and (stopless) aperture rings.