Revert "Deprecate end() by having it call quit() instead. Marked for eventual removal. Fixes #419"

A hard client-side quit is useful for test purposes, and some other rare use cases.

This reverts commit a8ee9cdb13d6358767184b810d42a7a011ea7e47.