I use a bunch of different ones, depending on the workflow of the businesses that hire me to make tutorials. Personally, I use Camtasia. It's really robust and does the things you highlighted. PC/Mac It is also wired to push to social media/video sites. 

Some of the editors don't like it because, in the traditional editing world, Camtasia uses an variable rate of capture which is dependent upon screen activity. For personal stuff or only editing within Camtasia itself, this is not a problem. Variable rate helps keep the files sizes smaller but is problematic to work with in programs like Affter Effects or Final Cut.