Function
void writeBinaryValueFile(loc file, value val, bool compression = true)
Usage
import ValueIO;
Write a value to a file using an efficient binary file forma