v2.7.1

This release adds support for resetting the Z3 solver. Note that this feature should only be used for quick prototyping. For production code, push/pop should be preferred.