Runtime-Assured, Real-Time Neural Control of Microgrids