Version bump to 4.0.0 -- stable release