Porcupine, a fast linearizability checker for distributed systems in Go

It implements the algorithm in "Faster linearizability checking via P-compositionality": https://arxiv.org/pdf/1504.00204.pdf