feat: add basic operations for doing file io (PROOF-927) #772

Job	Run time
C++ code with address sanitizer	32s
C++ code with optimizations	3m 35s
Check code	39s
C++ code	32s
Rust Sys Crate	2m 32s
	7m 50s

Provide feedback