Block allocator complex cases and tests