Verbose checkbox on module tab. Fixes #735