Various array and indexing related cleanup + optimization

The flag buffers now use std::vector<bool>. There is no significant difference in runtime between the original (master), and the version with either std::vector<unsigned char> or std::vector<bool>. Moreover, on a few places, the pointer-increment style code has been changed to index the arrays directly. This is not only easier to read, but also allows the compiler to generate better assembly.