Add fibonacci example to the Guide to illustrate how spec, proof, and exec code work together

Add fibonacci example to the Guide to illustrate how spec, proof, and exec code work together #6192