Last-use Opacity: A Strong Safety Property for Transactional Memory with Early Release Support.