Switch to using experimental trait for OpaqueTypes (backport #2783) (#2836)

* Switch to using experimental trait for OpaqueTypes (#2783)

This makes it more clear that the feature is experimental. Users may
still override the opaqueType method for more dynamic control over when
instances of a given Record are OpaqueTypes or not, but they are
discouraged from doing so.

(cherry picked from commit 7525dc71

)

* Fix cloneType in RecordSpec

Co-authored-by: Jack Koenig <koenig@sifive.com>