Added post about Rust verification tool release
Added post about Rust verification tool release

alastairreid/alastairreid.github.io,alastairreid/alastairreid.github.io,alastairreid/alastairreid.github.io