v4.6.0

Features:

• added visit_ functions for base classes to visitors
• added on_revert handler example to the default test template
• IR types (wake.ir.types) are now strictly comparable
• improved printing of structs and errors in call traces
• updated axelar-proxy-contract-id detector
• mint_erc20, burn_erc20 now works with constant total supply tokens (warning is printed that total supply cannot be updated)

Fixes:

• fixed multiple issues in call traces printing
• fixed Python linter firing when using pytypes with new version of primitives types (uint256, etc.)
• fixed the type of .min .max members of primitive integer types
• fixed is_reachable helper function in ControlFlowGraph