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)
feat(util/stackinfo): implement get_stack_size (Mac OSX version)