Replace std::vector<char> with AlignedArray<bool> (fixes a few
compilation warnings), change atomic operator++/+= to fetch_add to be
more explicit.