Minor release -- spec license terms and require adjustment

This release is very minor. It removes the macro finished block from the instrumentation requires, as that causes more problems than it solves (it often results in the instrumentation not being required at all), and I added appropriate license declarations to the specs that were copied from other projects. To ensure that shards still work as expected, the easiest thing is to use the specs for the actual shards themselves, where possible.