I want to simulate to demonstrate how it's possible that the hierarchical model can even have better power than getting exactly the right values.
Note: The original question and results are no longer applicable due to a few fatal flaws with my code. Below follows the correct code. But the oracle is optimal now...