Refactor syr2k error checking

Details:
- Check that A and B conform before creating C (if no C provided), rather than after