Add proptest encoding round-trip test

[jade-mouse] / toolchain / src / main.rs

fn main() {
    println!("Hello, world!");
}