Is there any functional difference between Mitreid-Connect implementation and CAS support of OpenId-Connect protocol?
The first obvious difference between MitreId and CAS is that while MitreId only supports OpenID Connect, CAS supports CAS, SAML, OpenID and OpenID Connect.
Regarding the OpenID Connect protocol, MitreId has a broader support of OpenID Connect (I'm especially thinking of dynamic clients registration and the implicit flow) if you take a look at https://apereo.github.io/cas/5.0.x/installation/OIDC-Authentication.html.
In most cases, it should not make any difference as the main flow is supported by CAS.
And hopefully the incoming CAS server version (May 2017) fills the missing gaps: https://apereo.github.io/cas/development/installation/OIDC-Authentication.html