Updates the spacers check to use the new framework for contracts
checks written in Go. Adds tests for the functions that this
check uses.