P4cub deadline

[rudynicolop]

paper deadline changes.

gonna merge if build is ok.

Thanks @hackedy for proof hacking and adding varbits!