Mark all basic blocks with an incrementing counter

I'm not entirely sure this is a valid way to do things, as the counter
is reinitialised to 0 for every function, thus basic blocks in multiple
functions get the same basic block ID.