Add JVM stack state extraction and QL accessors

Attempt to fix performance issues with recreating stack behavior in QL querying by precalculating during extraction. Implements abstract interpretation in the extractor to compute stack height and producer mapping for each JVM instruction. Adds new dbscheme predicates and QL accessors for efficient stack slot lookup, replacing recursive CFG traversal in IR translation. Updates test query pack dependencies for compatibility.

Author: gfs