incrementalize marking white

New objects are always allocated as
white. So that marking white is now
incremental and the strategy is more
aggressive.

The trick is every allocation would check
if any object from the root-set is white,
which doesn't use any heap-ref operation
but more like a cheat.