New Limits for Knowledge Compilation and Applications to Exact Model Counting