Test argument checking for @Requires* decorators
Added tests for RequiresBest, and corrected bugs

Fixes #29