Bytespector is an easy to use tool for constructing a Control Flow Graph for EVM bytecode.
Read here for more details.
Yes - the code base can be found here.
Create a Github issue here or email aodhgan@mantle.xyz. Note: due to the way the Vyper compiler handles function jump destinations, Vyper produced bytecode may not be supported.