חוק מבקר המדינה (תיקון מס' 20), התשנ"ד-1994