Fifo example and new quickstart guide

[KrystalDelusion]

Walk through of using sby to provide a counter example and viewing it in gtkwave, as well as comparing with a witness when the property holds instead.