v0.1.2

What's changed in v0.1.2?

• Faster exact-length and minimum/maximum factorization queries, with improved cache reuse.
• Targeted extraction of individual factorization witnesses, including profile constraints, without computing the full length set.
• Atom catalogue generation on prescribed supports via enumerate_atom_catalogue(support=...).
• Expanded documentation, tutorial examples, and regression tests.