An Alloy Verification Model for Consensus-Based Auction Protocols