Ability to take in a py or ipnb and provide an optimized version of it

[lyamlim97]

Input: py, ipynb
Output: py, ipynb

Output to override the input file directly or in another directory. Would be useful for batch optimizing pandas code

[baziotis]

Thanks for the issue. The TL;DR is that we hope to be able to do that once we change a bit how Dias performs correctness checks. Currently, it needs to run along with your program.

In more detail, we need to remove sliced execution (which is planned anyway) and other checks that happen inside Dias and instead bake all checks into the rewritten code. Basically, Dias then gets a string as input and outputs a string as input; that's, it doesn't perform checks.