On the Role of Canonicity in Bottom-up Knowledge Compilation