Updated JSON output (markdown)
Adding JSON output details for slither-check-upgradeability
Rewrite of existing detector-specific fields
Updated everything besides detector-specific output
Updated source mappings
Initial changes up to (but not including) source mappings.