improved search-max proof
moving back to platform
reverted LinkedList to bedrock/platform