[lworld] RFR: JDK-8293321: [lworld] substitutability test shall support value class with cyclic membership

[Mandy Chung]

On Fri, 28 Oct 2022 17:15:19 GMT, Mandy Chung <mchung at openjdk.org> wrote:

> L-type allows cycles. `acmp` shall support value classes with cyclic membership.  This PR adds the support in the Java implementation of `acmp` (i.e. `ValueObjectMethods::isSubstitutable`). 
> 
> This patch includes [John's first cut to make a Y combinator method handle](https://github.com/openjdk/jdk/pull/10155) to enable a method handle to call itself recursively.    PR 10155 is adequate for internal use for now.  A separate RFE will follow to define such an API.
> 
> A separate issue [JDK-8296056](https://bugs.openjdk.org/browse/JDK-8296056) tracks the C2 `acmp` support.

Added a counter and throw SOE if it exceeds the threshold for this initial implementation.

-------------

PR: https://git.openjdk.org/valhalla/pull/802