18 - CTR mode fixes

Use correct ctr format (8-byte nonce + 8-byte block count)
Add IntToBytestring function to convert nonce/counter to byte string