Handle unreachable ONNX variables when saving as ONNX

[wschin]

As title. Sometime, we end up with a computation graph with unreachable variables. We have inputsToDrop and outputsToDrop for manually removing them but it'd be better to have an automatic mechanism. #952 includes a solution.