Myopically Verifiable Probabilistic Certificates for Safe Control and Learning