Release 5.0.0

5.0.0

• BREAKING CHANGE: Remove auto_concretize feature (#336)
• FEATURE: Add --max-total-time option (#323)
• FEATURE: Add self_ty_in_mod_name feature (#328)
• Fix typo in cargo-test-fuzz help message (#325)
• Deprecate concretizations terminology in favor of generic-args (#340)
• Give correct advice for installing cargo-afl when it cannot be found (9101dbe)
• Properly handle receiverless trait functions (#346)