refactor(*): start move to explicit initialization/finalization,
explicitly initialize/finalize options

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(*): explicit initialization/finalization for serialization
modules, expression annotations, and tactics
refactor(*): explicit initialization/finalization for environment extensions