A lightweight behavioral testing library for Go