Fix the interface of bug specification and reporting

Improve the precision of def-use analysis on EVM bytecode

Fix the logic for seed initialization

Fix log messages in seed initialization

Polish test case generation strategy in grey-box concolic module

Add code to print the list of def-use chains (function pairs)

Make the project more friendly for Visual Studio

Make --nodfa mode run without analyzing bytecode

Resolve several warning messages in dotnet and IDE

Add an option to terminate early when target bugs are found

Add an option to deploy target contract to have initial ether

Extend and fix bug oracles

Fix code coverage measurement and report

Use net8.0 and fix build issues

Fix B2R2 to use internal repository