Correct, the push notification aspect is dependent on Google Play Serices (in both the stand-alone app and the CM SMS integration). But sending encrypted SMS messages works without Google Play, so the app still has functional aspects.