So Von Neumann's 'no hidden variables' proof showed that hidden variables were impossible.

This proof was wrong. Bohm showed that hidden variables are in fact possible, as long as they non-local.

Bell provided evidence for this fact, showing that non-locality exists beyond a reasonable doubt.

My question is this. What was the problem with Von Neumann's "proof"? Was it simply that he assumed locality to be a given?