internal/core/adt: update comments for Subsume

Change-Id: I8fa94733e8f35234b6a7405e17f9fe9a21f4bc53
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9184
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>

cue/types.go

@@ -1716,13 +1716,10 @@ func (v Value) Template() func(label string) Value {
 //
 // Without options, the entire value is considered for assumption, which means
 // Subsume tests whether  v is a backwards compatible (newer) API version of w.
-// Use the Final() to indicate that the subsumed value is data, and that
 //
 // Use the Final option to check subsumption if a w is known to be final,
 // and should assumed to be closed.
 //
-// Options are currently ignored and the function will panic if any are passed.
-//
 // Value v and w must be obtained from the same build.
 // TODO: remove this requirement.
 func (v Value) Subsume(w Value, opts ...Option) error {