Recent JRC Achievements and Future Challenges in Verification for Nuclear Safeguards and Nonproliferation