Změna API BasicBlockLabeler

Pokud souhlasíš, odebral bych neustálé předávání objektu llvm::Module jako unique_ptr&. Unique_ptr jak ho chápu já, jen říká kdo je vlastník daného objektu a není nic špatného na předání reference na objekt samotný (popřípadě const referenci pokud bychom ho neměnili). Na funkcionalitě to nic nemění, ale předávání objektu včetně unique_ptr<> omezuje API na příjem výhradně tohoto typu.

P.S.: Nemám nainstalovaný SMT Z3, takže jsem neudělal build, tak snad jsem ti nic nerozbil