add: ability to write a proved pie to a path (#469)

add: ability to write a proved pie to a path (#469) #2016