Porting CheckBox and CheckBoxFor unit tests

Partial fix to #453
curious: why is the `@` useful?