Add Stellar-native features to the index

Add advanced feature specs: recursive folding, threshold oracle, timelock disclosure, real-time revocation, FHE spending limits, formal verification