ci(jdk): Run build against Java 9 and Java 11, allowing failures

Revert "fix(pom.xml): Code-coverage plugin works again."

fix(pom.xml): Code-coverage plugin works again.

docs(readme): Re-arrange order of sections to be more consistent with existing layout.

doc: update README for this pr, remove analyzetc mode

remove 'analyzetc' mode for this pr

doc: update readme for the pr

doc: update the missing links

doc: add some introduction to new modes(short-circuit, try-catch analysis)

feat: optimize try-catch analysis

an example of purely resilient try-catch in spojo

feat: short-circuit testing, now supports parameters, use tcindex and filter to do the specific injection

optimized the log style, automatically get *Test* test classes

set a filter in byte-monkey for SpojoTest

add a basic test case for try-catch analyze