fix(util/stackinfo): memory leak at get_stack_size

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(library/rewriter): add lambda_rewrite tests
fix(library/rewriter): use Abst axiom in lambda_body RW
feat(util/stackinfo): implement get_stack_size (Mac OSX version)